منابع مشابه
The natural holistic imperative.
Biodiversity is nature's expression of the principle of holism. This 'natural holistic imperative' is manifested in all aspects of the environment. While environmental health originated through a concern for protecting humans from environmental risks, it is now concerned with protecting the environment from the activities of humans. In order to protect the health of humans, there is a need to b...
متن کاملDeterminate Imperative Programming A clocked interpretation of imperative syntax ( Extended Abstract )
There are a large class of applications, notably those in highperformance computation (HPC), for which parallelism is necessary for performance, not expressiveness. Such applications are typically determinate and have no natural notion of deadlock. Unfortunately, today’s dominant HPC programming paradigms (MPI and OpenMP) are based on imperative concurrency and do not guarantee determinacy or d...
متن کاملNatural Language Syntax and First Order In
We have argued elsewhere that rst order inference can be made more eecient by using non-standard syntax for rst order logic. In this paper we deene a syntax for rst order logic based on the structure of natural language under Montague semantics. We show that, for a certain fairly expressive fragment of this language, satissability is polynomial time decidable. The polynomial time decision proce...
متن کاملSyntax and semantics in natural language parsers
The relationship between syntax and semantics is discussed, as an approach to thinking about different types of natural language parsers. Several types are then reviewed, and difficult natural language phenomena are discussed. The Psli3 semantic chart parser is presented as a possible solution to the problem of syntax, and its theoretical capabilities are discussed. An example of the current ca...
متن کاملNatural Language Syntax and First-Order Inference
We have argued elsewhere that rst order inference can be made more eecient by using non-standard syntax for rst order logic. In this paper we deene a syntax for rst order logic based on the structure of natural language under Montague semantics. We show that, for a certain fairly expressive fragment of this language, satissability is polynomial time decidable. The polynomial time decision proce...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Linguistica
سال: 2011
ISSN: 2350-420X,0024-3922
DOI: 10.4312/linguistica.51.1.317-332